Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
371	A Structural Soundness Proof for Shivers’s Escape Technique A Case for Galois Connections Jan Midtgaard1 , Michael D. Adams2 , and Matthew Might3 1 2 Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Abstract interpretation Valuation Galois connection Lambda calculus Entailment Logic Abstract algebra Mathematics
372	MUltseq: a Generic Prover for Sequents and Equations? Angel J. Gil1 and Gernot Salzer2 1 Universitat Pompeu Fabra, Barcelona, [removed] Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 14:16:25 Sequent calculus Sequent Many-valued logic Łukasiewicz logic Truth table Natural deduction Admissible rule Logic Mathematical logic Proof theory
373	MUltseq: Sequents, Equations and Beyond Angel Gil Universitat Pompeu Fabra Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 13:40:10 Mathematics Sequent calculus Sequent Cut-elimination theorem Admissible rule Natural deduction Mathematical logic Proof theory Logic
374	Ott: Effective Tool Support for the Working Semanticist Peter Sewell∗ Francesco Zappa Nardelli† Thomas Ridge∗ Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2007-10-18 09:46:53 Lambda calculus Formal methods Type theory Logic in computer science Programming language theory Twelf POPLmark challenge OCaml Proof assistant Software engineering Computing Theoretical computer science
375	MUltseq: Sequents, Equations, and Beyond? Angel J. Gil1 and Gernot Salzer2 1 Universitat Pompeu Fabra, [removed] 2 Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 13:39:33 Non-classical logic Logic in computer science Propositional calculus Sequent Intuitionistic logic Many-valued logic Admissible rule Natural deduction Mathematical logic Logic Proof theory
376	NEW-HOPLA a higher-order process language with name generation Glynn Winskel Computer Laboratory, University of Cambridge, UK Francesco Zappa Nardelli Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-05-06 09:33:37 Symbol Lambda calculus Proof theory Curry–Howard correspondence Valuation Mathematics Mathematical logic Applied mathematics
377	Mini-course on proof theory Pierre-Louis Curien (CNRS, University Paris 7, and INRIA) Cambridge, June 1, 3, and 4, 2010 Supported by a Leverhulme grant Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-06-08 06:42:34 Mathematics Natural deduction Curry–Howard correspondence Sequent calculus Linear logic Sequent Cut-elimination theorem Proof theory Logic Mathematical logic
378	Discrete Mathematics II: Set Theory for Computer Science Part IA Comp. Sci. Lecture Notes Glynn Winskel c Glynn Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-13 09:46:14 Function Mathematical proof Mathematical induction Finitary relation Well-founded relation Unification Boolean algebra Propositional calculus Principia Mathematica Mathematics Logic Mathematical logic
379	A Compositional Proof System for the Modal µ-Calculus∗ Henrik Reif Andersen† Colin Stirling Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-10-16 07:00:48 Modal logic Non-classical logic Philosophical logic Connection Dynamic logic Ground expression Logic Mathematics Logic in computer science
380	Natural Deduction Constructing truth trees is not the only method for determining whether arguments are valid; another method is known as natural deduction. To prove an argument is valid using the truth tree method, we l Add to Reading List Source URL: ruccs.rutgers.edu Language: English - Date: 2001-10-16 13:47:25 Arguments Proof theory Mathematical logic Natural deduction Deductive reasoning Negation Modus ponens Validity Contradiction Logic Deduction Propositional calculus

UPDATE